Deterministic finite automaton
FINITE-STATE MACHINE THAT ACCEPTS AND REJECTS STRINGS OF SYMBOLS AND ONLY PRODUCES A UNIQUE COMPUTATION (OR RUN) OF THE AUTOMATON FOR EACH INPUT STRING
Deterministic finite automata; Deterministic Finite Automaton; Deterministic finite autonoma; Deterministic finite state automaton; Read-only right-moving Turing machines; Deterministic finite state machine; DFSA; Read only right moving Turing Machines; Finite deterministic automaton; Read-only right moving Turing Machines; Deterministic finite-state machine; Local automaton; Myhill graph; Local automata; DFA (computer science); Read-only right moving Turing machines
In the theory of computation, a branch of theoretical computer science, a deterministic finite automaton (DFA)—also known as deterministic finite acceptor (DFA), deterministic finite-state machine (DFSM), or deterministic finite-state automaton (DFSA)—is a finite-state machine that accepts or rejects a given string of symbols, by running through a state sequence uniquely determined by the string.Hopcroft 2001: Deterministic refers to the uniqueness of the computation run.